$\forall$$R$:es\_realizer\{i:l\}. ($\neg$($\uparrow$Rnone?($R$))) $\Rightarrow$ ($\neg$($\uparrow$Rplus?($R$))) $\Rightarrow$ (R{-}loc($R$) $\in$ Id)